solving an natural logarithmic equation using properties of logs